combinatorics and mathematical induction